<html>
<head>
<title>Validation Context package</title>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
</head>

<body bgcolor="#FFFFFF">
This package contains classes that are relevant for OVal's programming by contract feature.
<p>

</body>
</html>
